DevOps—Welcome to the Jungle
نویسندگان
چکیده
منابع مشابه
Equilibrium in the Jungle Equilibrium in the Jungle *
In the jungle, power and coercion govern the exchange of resources. We study a simple, stylized model of the jungle that mirrors an exchange economy. We define the notion of jungle equilibrium and demonstrate that a number of standard results of competitive markets hold in the jungle. JEL Classification: C7, D4, S477, B201
متن کاملPutting order to the separation logic jungle
Research results from so-called “classical” separation logics are not easily ported to so-called “intuitionistic” separation logics, and vice versa. Basic questions like, “can Brookes’s soundness proof of CSL be extended to intuitionistic separation logics?” “Can the frame rule be proved independently of whether the programming language is garbage-collected?” “Can amortized resource analysis be...
متن کاملBringing Order to the Separation Logic Jungle
Research results from so-called “classical” separation logics are not easily ported to so-called “intuitionistic” separation logics, and vice versa. Basic questions like, “Can the frame rule be proved independently of whether the programming language is garbage-collected?” “Can amortized resource analysis be ported from one separation logic to another?” should be straightforward. But they are n...
متن کاملFrom the Heterogeneity Jungle to Systematic Benchmarking
One of the key challenges in the development of model transformations is the resolution of recurring semantic and syntactic heterogeneities. Thus, we provide a systematic classification of heterogeneities building upon a feature model that makes the interconnections between them explicit. On the basis of this classification, a set of benchmark examples was derived and used to evaluate current a...
متن کاملThe Light Verb Jungle
The study of light verbs and complex predicates is frought with dangers and misunderstandings that go beyond the merely terminological. This paper attempts to pic through the terminological, theoretical and empirical jungle in order to arrive at a novel understanding of the role of light verbs crosslinguistically. In particular, this paper addresses how light verbs and complex predicates can be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: HMD Praxis der Wirtschaftsinformatik
سال: 2019
ISSN: 1436-3011,2198-2775
DOI: 10.1365/s40702-019-00507-8